type T = $ReadOnlyArray<number>; // OK
